deadlock prevention
英 [ˈdedlɒk prɪˈvenʃn]
美 [ˈdedlɑːk prɪˈvenʃn]
网络 死锁预防; 死锁的预防; 预防死锁; 死锁防止; 死结预防
双语例句
- Deadlock prevention: ConTest can analyze whether locks were taken nestedly in conflicting order, which indicates a danger of deadlock.
死锁预防：ConTest可以分析是否以冲突的顺序嵌套地拥有锁，这表明有死锁的危险。 - Deadlock prevention is the programmer's responsibility, because the monitors do not support any deadlock resolution.
由于监视器不支持进行任何死锁处理，因此程序员应负责防止死锁的出现。 - Deadlock Prevention Policy in Shipping Traffic System Based on Petri Net
基于Petri网的船运交通系统死锁预防策略 - Deadlock prevention approach for a class of timed Petri nets
一种时延Petri网的死锁预防方法 - A Deadlock Prevention Policy Based on the Theory of Regions
一种基于区域法的死锁预防优化策略 - Dynamic probe based strategy for deadlock prevention in distributed systems
基于动态探针的分布式死锁预防策略 - Deadlock Prevention Policy Based on Petri Net for Flexible Manufacturing System
柔性制造系统中基于petri网的死锁预防策略 - Given a generalized Petri net of which the transitions are all controllable and observable, a deadlock prevention algorithm is proposed in this paper.
该算法基于将死锁防止问题转化为控制规范的迭代算法和将控制规范施加到被控对象上的有限容量库所方法。 - Application of Petri net reduction to deadlock prevention supervisor
Petri网简化技术在死锁避免控制器设计中的应用 - The deadlock prevention approach is a deadlock control based on siphons.
死锁预防是基于信标的一种死锁控制方法。 - Suboptimal Deadlock Prevention Policies Based on FMS
基于FMS的死锁预防优化控制策略研究 - Finite Capacity Place Method Based Deadlock Prevention Algorithm
基于有限容量库所方法的死锁防止算法 - A deadlock prevention policy for FMS using elementary siphons
一种利用基本信标的柔性制造系统死锁控制器设计方法 - Elementary Motion-Based Multi-Robot Collision Avoidance and Deadlock Prevention
基于初等运动的多机器人避碰及死锁预防 - Based-on Timestamp A Strategy of Deadlock Prevention for Distributed Database System
基于时戳的分布式数据库系统中的死锁预防策略 - A deadlock prevention strategy for flexible manufacturing systems is developed based on Petri nets and their structural analysis.
基于Petri网的结构特性分析，研究了FMS（柔性制造系统）一种预防死锁方法。 - If there is only one entity in each resource, this paper has proposed a safe algorithm of deadlock prevention.
在每种资源只有一个个体的情况下，本文给出了一种避免死锁的安全算法。 - The importance of siphons is well recognized in the analysis and control of deadlock prevention in Petri nets.
信标的重要性在Petri网的死锁预防分析和控制中已经被充分地认识。 - Most deadlock prevention methods in recent years add some supervisors which consist of new contorl places and related arcs to the target Petri net.
目前死锁预防方法大都是在目标Petri网模型中增加控制器，它由新的控制库所和相关弧构成。 - Based on elementary siphon theory, the deadlock prevention method can solve the deadlock problems in shipping traffic systems theoretically. Then a deadlock-free shipping traffic system can be obtained.
通过基于基本信标的死锁预防算法对模型进行分析，从理论上解决了航行中的死锁问题，从而得到无死锁的船运交通系统模型。 - There is a condition that the system does not deadlock, but because the insert of the controller, the system sometimes may cause deadlock. For this condition, we design the deadlock prevention algorithm. 3.
对系统本来不存在死锁状态，而由于控制器的引入可能会使系统存在死锁状态的情况，设计了避免死锁的算法。 - Traditional strategy for deadlock prevention is based on Petri net, with the idea of preventing all the strict minimal siphons from being emptied, so as to make the system deadlock-free.
传统的基于Petri网的死锁预防策略是控制网系统中的所有严格极小信标不被清空使得系统无死锁的思想。 - Getting all strict minimal siphons ( SMS) is the premise of deadlock prevention strategies based on siphon theory.
基于信标理论的死锁预防策略的前提要得到网中严格极小信标。 - There are three strategies to prevent this situation: deadlock prevention, deadlock avoidance, and deadlock recovery.
为了预防这种情况，有三个办法：死锁预防，死锁避免、死锁复苏。 - Therefore, the strategies of deadlock prevention in Petri nets are derived according to this structural objects.
因此Petri网的死锁预防策略大多是针对严格极小信标这一特殊结构来进行的。 - This study improves the policy from two aspects. Then an improved deadlock prevention policy based on selective siphons is proposed.
本文从两个方面对该算法加以改进，提出了一种基于信标选择的死锁预防的优化策略。 - Chapter two discussed above, based on the limited liability company focuses on the deadlock prevention mechanism in advance the construction and limited liability company deadlock Relief Mechanism.
这两章在上文论述的基础上，重点阐述有限责任公司僵局事前预防机制的构建和有限责任公司僵局事后破解机制的构建。 - This thesis focuses on deadlock prevention in flexible manufacturing systems ( FMS).
本文致力于柔性制造系统的死锁预防问题研究。 - Iterative control algorithm is the one focuses on deadlock prevention in Petri nets.
迭代控制算法是其中的一种Petri网死锁预防方法。 - Hence using techniques of siphon con-trol can eliminate deadlocks and achieve the purpose of deadlock prevention.
因此，通过对信标的控制就能够消除死锁，实现死锁预防的目的。